61. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
62. Transforms and Fast Algorithms for Signal Analysis and Representations
پدیدآورنده: by Guoan Bi, Yonghong Zeng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer engineering.,Computer software.,Fourier analysis.,Mathematics.
63. Traveling Wave Analysis of Partial Differential Equations: Numerical and Analytical Methods with Matlab and Maple
پدیدآورنده: / Graham W. Griffiths, William E. Schiesser
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
64. Trends and Perspectives in Modern Computational Science.
پدیدآورنده: George Maroulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
65. Using Toolpack Software Tools :
پدیدآورنده: edited by A.A. Pollicini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
66. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
67. Visualization in Scientific Computing
پدیدآورنده: edited by Michel Grave, Yvon Lous, W. Terry Hewitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1994
68. تحلیل میدانهای دو بعدی دما و سرعت در انجماد آلومینیم با استفاده از روش المان مرزی
پدیدآورنده: /فرامرز طلعتی کلاسر
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
